Expressive power - PDFSEARCH.IO - Document Search Engine

Expressive power
Results: 40

#	Item
21	Semantics and Expressive Power of Non-Deterministic Constructs in Deductive Databases Fosca Giannotti1 , Dino Pedreschi2 and Carlo Zaniolo3 1 Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2001-06-29 02:31:43 Complexity classes Data management Software engineering Datalog Database management systems Relational model Expressive power FO SQL Computing Query languages Computer languages
22	Logic-based Web Information Extraction∗ Georg Gottlob and Christoph Koch Database and Artificial Intelligence Group, Technische Universit¨ at Wien, A-1040 Vienna, Austria. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:42 Data management Computer languages Datalog Database management systems Logic programming Database theory Expressive power SQL Monad Computing Software engineering Query languages
23	Ph.D. thesis of Ciaran McHale Synchronisation in Concurrent, Object-oriented Languages: Expressive Power, Genericity and Inheritance Abstract This thesis explores synchronisation in concurrent, object-oriented languages Add to Reading List Source URL: www.ciaranmchale.com Language: English - Date: 2008-05-17 08:17:34 Object-oriented programming Generic programming Inheritance D Programming paradigm Class Software engineering Computer programming Computing
24	On the Expressive Power of Cost Logics over Infinite Words? Denis Kuperberg1 , Michael Vanden Boom2 1 2 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Formal languages Logic Muller automaton Linear temporal logic Partition FO Alphabet First-order logic Star height Mathematics Automata theory Theoretical computer science
25	Expressive power of Cost Logics over Infinite Words Denis Kuperberg and Michael Vanden Boom S´eminaire Automates Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Computer science Applied mathematics Mathematics Regular language Nondeterministic finite automaton Finite-state machine Ω-automaton Omega-regular language Automata theory Formal languages Models of computation
26	workshop overview worki ng with th e pi lot paralle l pe n The fluid, expressive nature of calligraphy lends itself to both delicacy and strength, but the focus of this workshop is how to achieve strength and power in o Add to Reading List Source URL: www.calligraphy.ca Language: English Calligraphy Culture of the Ottoman Empire
27	Expressive Power of Cost Logics over Infinite Words Denis Kuperberg1 Michael Vanden Boom2 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Mathematics Computer science Star height Alphabet Regular language Formal languages Automata theory Theoretical computer science
28	Contact Expressions For Touching Technologies Kevin McGee Annika Harup Department of Computer and Information Science Add to Reading List Source URL: www.cosignconference.org Language: English - Date: 2008-12-13 12:14:51 Mind Ethology Mechanical engineering Social psychology Facial expression Communication Contact mechanics Expressive power Body language Nonverbal communication Philosophy of language Behavior
29	SuB-proceedings-final.dvi Add to Reading List Source URL: jacksonllee.com Language: English - Date: 2015-01-16 16:37:07 Philosophy of language Philosophical logic Meaning Semantics Grammar Expressive power Proposition Pizza Truth Logic Philosophy Linguistics
30	1 Expressive Power of Safe HORS Examined Through Decomposition of Higher Order Programs to Garbage Free 1st Order Form Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2011-09-25 22:56:46